Home » Fiche   membre

Pierre Marie PEDROT

CHERCHEUR


: Pierremarie.Pedrotatls2n.fr

Adresse :

IMT Atlantique Bretagne-Pays de la Loire Ecole Mines-Telecom ( IMT ATLANTIQUE )
La Chantrerie
4, rue Alfred Kastler
B.P. 20722
44307 NANTES Cedex 3


Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] T. Zimmermann, J. Coolen, J. Gross, P. Pédrot, G. Gilbert. The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. In IEEE Software ; éd. Institute of Electrical and Electronics Engineers, 2022.
      https://inria.hal.science/hal-03479327v2
    • [3] P. Pédrot, N. Tabareau, H. Fehrmann, Ã. Tanter. A Reasonably Exceptional Type Theory. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2019, vol. 3.
      https://inria.hal.science/hal-02189128

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [4] G. Gilbert, P. Pédrot, M. Sozeau, N. Tabareau. From Lost to the River: Embracing Sort Proliferation. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
      https://inria.hal.science/hal-04378939
    • [5] M. Baillon, A. Mahboubi, P. Pédrot. Gardening with the Pythia A model of continuity in a dependent setting. In CSL 2022 - Computer Science Logic, février 2022, Göttingen, Allemagne.
      https://inria.hal.science/hal-03510671
    • [6] P. Pédrot. Russian Constructivism in a Prefascist Theory. In LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2020, Saarbrücken, Allemagne.
      https://inria.hal.science/hal-02548315
    • [7] P. Pédrot, N. Tabareau. Failure is Not an Option An Exceptional Type Theory. In ESOP 2018 - 27th European Symposium on Programming, avril 2018, Thessaloniki, Grèce.
      https://inria.hal.science/hal-01840643
    • [8] S. Boulier, P. Pédrot, N. Tabareau. The next 700 syntactical models of type theory. In Certified Programs and Proofs (CPP 2017), janvier 2017, Paris, France.
      https://inria.hal.science/hal-01445835
    • [10] G. Jaber, G. Lewertowski, P. Pédrot, M. Sozeau, N. Tabareau. The Definitional Side of the Forcing. In Logics in Computer Science, mai 2016, New York, états-Unis.
      https://hal.science/hal-01319066
    • [11] P. Pédrot. A Functional Functional Interpretation. In CSL-LICS 2014 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2014, Vienna, Autriche.
      https://hal.science/hal-01111802
    • [12] P. Pédrot. Un régime au concentré d'automate. In JFLA - Journées francophones des langages applicatifs, février 2013, Aussois, France.In Damien Pous and Christine Tasson (éds.), . , 2013.
      https://inria.hal.science/hal-00779752

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [13] S. Boulier, P. Pédrot, N. Tabareau. Modèles de la théorie des types donnés par traduction de programme. In 28ièmes Journées Francophones des Langages Applicatifs, janvier 2017, Gourette, France.
      https://hal.science/hal-01503089
    • [14] A. Saurin, P. Pédrot. Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.. In JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, janvier 2014, Fréjus, France.
      https://hal.science/hal-01110337

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [17] P. Boutillier, S. Glondu, B. Grégoire, H. Herbelin, P. Letouzey, P. Pédrot, Y. Régis-Gianas, M. Sozeau, A. Spiwack, E. Tassi. Coq 8.4 Reference Manual. Rapport technique, 2014 ; Inria.
      https://inria.hal.science/hal-01114602
Copyright : LS2N 2017 - Mentions Légales - 
 -